Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
431	THE COMPLEXITY OF ANALOG COMPUTATION † Anastasios VERGIS Department of Computer Science, University of Minnesota, Minneapolis, MN 55455, U.S.A. Kenneth STEIGLITZ Department of Computer Science, Princeton University, Pr Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2001-11-25 03:18:59 Complexity classes Mathematical optimization Structural complexity theory Computability theory P versus NP problem NP-complete NP PP Analog computer Theoretical computer science Computational complexity theory Applied mathematics
432	Introduction Solution Applications Conclusion Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin) Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:28:53 Programming idioms Theoretical computer science Category theory Computability theory F-coalgebra Recursion Pointer C Computer programming Computing Software engineering
433	Complex Behavior in Long-Distance Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-09-26 15:56:01 Computability theory Systems Complex systems theory Rule 110 Rule 30 L-system Turing machine Complex system Function Mathematics Theory of computation Cellular automaton
434	T H E R E Is N o S O F T W A R E K he Add to Reading List Source URL: classes.dma.ucla.edu Language: English - Date: 2014-10-12 21:29:55 Computability theory Turing machine Alan Turing Models of computation Algorithm Finite-state machine Computer Church–Turing thesis Computability Theoretical computer science Theory of computation Computer science
435	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
436	1975 A C M F u r i n g Award t,ecture The 1975 ACM Turing Award was presented jointly to Allen Newell and Herbert A. Simon at the ACM Annual Conference in Mim?eapolis, October 20. In introducing the recipients, Bernard A Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2015-01-11 16:22:38 Theory of computation Turing machine Models of computation Computability theory Philosophy of artificial intelligence Physical symbol system Information theory Turing Award Allen Newell Science Computer science Alan Turing
437	Infinity in Informatics: Endless Loops Motivations for Working on Scientific Problems ∞ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2009-11-19 06:56:20 Philosophy of mathematics Theory of computation Computability theory Algorithm Mathematical logic Infinity Halting problem Actual infinity PP Mathematics Theoretical computer science Applied mathematics
438	LNCSComputational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 21:56:56 Models of computation Computability theory Turing machine Probabilistic complexity theory Probabilistic Turing machine Computational complexity theory Randomized algorithm Algorithm NP Theoretical computer science Applied mathematics Computer science
439	Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-03-18 06:51:09 Theory of computation Theoretical computer science Metric space Computable function Uniform space Filter Continuous function Mathematics Computability theory Topology
440	Jack H. Lutz - Short CV Current position: Professor of Computer Science, Iowa State University (Assistant Professor; Associate Professor; Professor 1996-present) Professor of Mathematics Faculty Membe Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2015-04-12 22:23:22 Computer science Computability in Europe Algorithmic information theory Randomness Mathematical logic Computability Algorithm Computational complexity theory DNA computing Theoretical computer science Applied mathematics Mathematics

UPDATE